Franz Baader：在 Z-Library 上搜索

年:

2010

语言:

english

文件:

PDF, 5.10 MB

5.0 / 0

english, 2010

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler

年:

2017

语言:

english

文件:

PDF, 3.86 MB

0 / 0

english, 2017

Term Rewriting and All That

年:

1998

语言:

english

文件:

PDF, 25.10 MB

0 / 5.0

english, 1998

Gesammelte Schriften zur Religionsphilosophie

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (editors)

年:

1963

语言:

german

文件:

PDF, 17.54 MB

0 / 0

german, 1963

The Description Logic Handbook: Theory, Implementation and Applications

CUP

年:

2007

语言:

english

文件:

PDF, 2.42 MB

5.0 / 0

english, 2007

Gesammelte Schriften zur Naturphilosophie

年:

1963

语言:

german

文件:

PDF, 22.32 MB

0 / 4.0

german, 1963

Les Enseignements Secrets De Martinez De Pasquali

Von Franz, Baader

年:

2013

语言:

french

文件:

PDF, 6.28 MB

0 / 0

french, 2013

Vierzig Sätze aus einer religiösen Erotik

Baader Franz von.

语言:

german

文件:

PDF, 5.24 MB

0 / 0

german

An Introduction to Description Logic

Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler

年:

2017

语言:

english

文件:

PDF, 2.71 MB

0 / 0

english, 2017

Term rewriting and all that

年:

1998

语言:

english

文件:

DJVU, 2.40 MB

0 / 0

english, 1998

Erläuterungen zu sämtlichen Schriften von Louis Claude de Saint-Martin

年:

1963

语言:

german

文件:

PDF, 21.61 MB

0 / 0

german, 1963

Gesammelte Schriften zur philosophischen Erkenntniswissenschaft als spekulative Logik

年:

1963

语言:

german

文件:

PDF, 21.79 MB

0 / 0

german, 1963

Biografie und Briefwechsel

年:

1963

语言:

german

文件:

PDF, 28.79 MB

0 / 0

german, 1963

Tagebücher aus den Jahren 1786-1793

年:

1963

语言:

german

文件:

PDF, 21.29 MB

0 / 0

german, 1963

Gesammelte Schriften zur Religionsphilosophie

年:

1963

语言:

german

文件:

PDF, 19.63 MB

0 / 0

german, 1963

Term Rewriting and All That

年:

1998

语言:

english

文件:

DJVU, 2.19 MB

0 / 0

english, 1998

Elementarbegriffe über die Zeit, Vorlesungen über Philosophie der Sozietät

年:

1963

语言:

german

文件:

PDF, 19.96 MB

0 / 4.0

german, 1963

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Franz Baader, Barış Sertkaya (auth.), Sébastien Ferré, Sebastian Rudolph (eds.)

年:

2009

语言:

english

文件:

PDF, 16.99 MB

0 / 0

english, 2009

KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings

Michael Kearns (auth.), Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)

年:

2001

语言:

english

文件:

PDF, 4.09 MB

0 / 0

english, 2001

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Xavier Leroy (auth.), Franz Baader (eds.)

年:

2007

语言:

english

文件:

PDF, 4.02 MB

0 / 0

english, 2007

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Springer

Franz Baader, Andrei Voronkov

年:

2005

语言:

english

文件:

PDF, 5.17 MB

0 / 0

english, 2005

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Matthias Baaz, Alexander Leitsch (auth.), Franz Baader, Andrei Voronkov (eds.)

年:

2005

语言:

english

文件:

PDF, 4.55 MB

0 / 0

english, 2005

Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

Franz Baader, Barış Sertkaya (auth.), Sébastien Ferré, Sebastian Rudolph (eds.)

年:

2009

语言:

english

文件:

PDF, 35.28 MB

0 / 0

english, 2009

Term Rewriting and All that

Franz Baader [Franz Baader]

年:

1998

语言:

english

文件:

PDF, 12.09 MB

0 / 0

english, 1998

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

语言:

spanish

文件:

PDF, 5.46 MB

0 / 0

spanish, 2009

Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

Volkmar

年:

1836

语言:

german

文件:

PDF, 15.80 MB

0 / 0

german, 1836

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Franz Baader [Franz Baader]

年:

2009

语言:

spanish

文件:

AZW3 , 2.41 MB

0 / 0

spanish, 2009

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

语言:

spanish

文件:

EPUB, 2.11 MB

0 / 0

spanish, 2009

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

Franz Baader [Franz Baader]

年:

2009

语言:

spanish

文件:

FB2 , 3.82 MB

0 / 0

spanish, 2009

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

文件:

LIT , 2.01 MB

0 / 0

2009

LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)

年:

2009

语言:

spanish

文件:

MOBI , 2.39 MB

0 / 0

spanish, 2009

Fermenta cognitionis, Heft 1.

De Gruyter

年:

1822

语言:

german

文件:

PDF, 16.22 MB

0 / 0

german, 1822

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

年:

2003

语言:

english

文件:

PDF, 4.08 MB

0 / 0

english, 2003

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Franz Baader, Ulrike Sattler (auth.), Roy Dyckhoff (eds.)

年:

2000

语言:

english

文件:

PDF, 2.87 MB

0 / 0

english, 2000

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Springer

年:

2003

语言:

english

文件:

PDF, 4.62 MB

0 / 0

english, 2003

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Edmund M. Clarke (auth.), Franz Baader (eds.)

年:

2003

语言:

english

文件:

PDF, 5.72 MB

0 / 0

english, 2003

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Xavier Leroy (auth.), Franz Baader (eds.)

年:

2007

语言:

english

文件:

PDF, 6.93 MB

0 / 0

english, 2007

Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

Franz Baader (auth.), Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt (eds.)

年:

2009

语言:

english

文件:

PDF, 6.89 MB

0 / 0

english, 2009

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings